functional calculuss

【数学、逻辑学】命题函项演算,谓词演算[亦称作 predicate calculus, predicate logic]

热门查询